C. Smoryński, "The incompleteness theorems"
https://www.karlin.mff.cuni.cz/~krajicek/smorynski.pdf
Craig Smoryński